1. Algebra, mathematical logic, number theory, topology
Author: editorial board of the anniversary collection, I.M. Vinogradov, editor-in-chief ... )et al.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
Classification :
QA
1
.
A413
v
.
168
2. Algebra, mathematical logic, number theory, topology
Author: editorial board of the anniversary collection, I. M. Vinogradov, editor in chief ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
Classification :
QA
1
.
P736
Vol
.
168
3. Algebra, mathematical logic, number theory, topology, Algebra, matematicheskaia logika, teoriia chisel, topologiia
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
Classification :
QA
1
.
A413
1986
issue
3
,
etc
4. Bridge to abstract mathematics /
Author: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
5. Elements of logic via numbers and sets
Author: Johnson, David Lawrence
Library: (Semnan)
Subject: ، Number theory,، Logic
Classification :
QA
9
.
J63
6. Foundations of Logic and Mathematics
Author: by Yves Nievergelt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
7. Foundations of logic and mathematics: applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
Classification :
QA
9
.
N53
2002
8. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
Classification :
QA
9
.
N53
2002
9. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Nievergelt, Yves, 4591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
Classification :
QA
9
.
N5
10. Logic, Mathematics, and Computer Science.
Author: \ Yves Nievergelt
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
Classification :
QA
37
.
N5L6
2015
E-Book
,
11. Logic and arithmetic
Author: Bostock, David.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Arithmetic-- Foundations,، Logic, Symbolic and mathematical,، Number theory
Classification :
QA
248
.
B725
12. Logic and arithmetic.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Number theory.
Classification :
QA248
.
B725
13. Logical number theory : an introduction
Author: Smorynski, C
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Number theory,، Logic, Symbolic and mathematical
Classification :
QA
241
.
S614
1991
14. Logical number theory I:an introduction
Author: Craig.Smorynski
Library: Vali Asr University Central Library (Kerman)
Subject: Number theory,Logic symbolic and mathematical
Classification :
QA
241
.
S614
15. Logical number theory I:an introduction
Author: Craig.Smorynski
Library: Vali Asr University Central Library (Kerman)
Subject: Number theory,Logic symbolic and mathematical
Classification :
QA
241
.
S614
16. Logical number theory : an introduction
Author: Smorynski, Craig
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Number theory
Classification :
QA
9
.
S57
17. Martin Davis on computability, computational logic, and mathematical foundations
Author: Eugenio G. Omodeo, Alberto Policriti, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States
Classification :
QA
241
.
M38
18. Problems and proofs in numbers and algebra
Author: /Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn.
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Algebra,Mathematical logic., Number theory.
Classification :
QA152
.
P7M5
2015
19. Proof, logic, and conjecture :
Author: Robert S. Wolf.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Number theory.,Set theory.
Classification :
QA9
.
W748
1998
20. Proof, logic, and conjecture : the mathematician's toolbox
Author: Wolf, Robert S.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory
Classification :
QA
9
.
W65
